(0 13 1)(2 20 18)(3 10 7)(4 14 6)(5 15 9)(8 16 11)(12 19 17)
ALLOWS (11/8)-SEQUENCE
1: (5 9 15)
(0 13 1)(2 20 18)(3 10 7)(4 14 6)(5 9 15)(8 16 11)(12 19 17)
2: (4 14 6)
(0 13 1)(2 20 18)(3 10 7)(4)(5 9 15)(6)(8 16 11)(12 19 17)(14)
3: (5 9 15)
(0 13 1)(2 20 18)(3 10 7)(4)(5)(6)(8 16 11)(9)(12 19 17)(14)(15)
4: (8 16 11)
(0 13 1)(2 20 18)(3 10 7)(4)(5)(6)(8)(9)(11)(12 19 17)(14)(15)(16)